Covariance and contravariance - PDFSEARCH.IO - Document Search Engine

Covariance and contravariance
Results: 93

#	Item
71	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala.epfl.ch Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
72	Introduction to Tensor Calculus Kees Dullemond & Kasper Peeters c 1991-2010 Add to Reading List Source URL: www.ita.uni-heidelberg.de Language: English - Date: 2011-08-11 03:48:17 Tensors Differential geometry Riemannian geometry Vectors Covariance and contravariance of vectors Tensor Einstein notation Covariant derivative Euclidean vector Algebra Mathematics Linear algebra
73	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala-lang.org Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
74	Time-reversal symmetry and covariant Lyapunov vectors for simple particle models in and out of thermal equilibrium Hadrien Bosetti,∗ Harald A. Posch,† and Christoph Dellago‡ Computational Physics Group, Faculty of Add to Reading List Source URL: www.williamhoover.info Language: English - Date: 2010-10-18 12:59:55 Algebra Dynamical systems Lyapunov vector Lyapunov exponent Oseledets theorem Covariance and contravariance of vectors Differential geometry of curves Dimensional analysis Tangent space Mathematical analysis Mathematics Differential geometry
75	Commun Nonlinear Sci Numer Simulat xxx[removed]xxx–xxx Contents lists available at ScienceDirect Commun Nonlinear Sci Numer Simulat journal homepage: www.elsevier.com/locate/cnsns Add to Reading List Source URL: www.williamhoover.info Language: English - Date: 2011-07-21 17:57:57 Dynamical systems Functional analysis Vectors Abstract algebra Lyapunov vector Lyapunov exponent Covariance and contravariance of vectors Orthonormality Euclidean vector Algebra Mathematics Linear algebra
76	Open Multi-Methods for C++ Peter Pirkelbauer Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:48 Object-oriented programming Covariance and contravariance Virtual method table Dynamic dispatch Multiple dispatch Double dispatch Virtual function C++11 Objective-C Software engineering Computer programming Computing
77	Microsoft Word - Defender Methods v4.doc Add to Reading List Source URL: wiki.jvmlangsummit.com Language: English - Date: 2011-07-20 20:20:27 Object-oriented programming Virtual function Java Covariance and contravariance Method Virtual method table C++ classes Interface Objective-C Software engineering Computing Computer programming
78	The Scala Language Specification Version 2.8 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2013-12-03 20:01:36 Type theory Data types Functional programming Functional languages Java platform Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
79	Intended for submission to the Revival of Dynamic Languages Static Typing Where Possible, Dynamic Typing When Needed: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-05-07 17:01:04 Computer programming Data types Object-oriented programming Functional programming Polymorphism Type system Type safety Dynamic programming language Covariance and contravariance Software engineering Computing Type theory
80	Type-safe covariance: Competent compilers can catch all catcalls Mark Howard1, Éric Bezault1, Bertrand Meyer2, 3, Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:31:40 Object-oriented programming Computer programming Data types Polymorphism Covariance and contravariance Eiffel Type system Generic programming Type safety Software engineering Computing Type theory

UPDATE